The synchronous approach to reactive and real-time systems
نویسندگان
چکیده
منابع مشابه
The Synchronous Approach to Reactive and Real-Time Systems
This special issue is devoted to the synchronous approach to reactive and real-time programming. This introductory paper presents and discusses the application fields and the principles of synchronous programming. The major concern of the synchronous approach is to base synchronous programming languages on mathematical models. This makes it possible to handle compilation, logical correctness pr...
متن کاملThe Synchronous Approach to Designing Reactive Systems
Abstract. Synchronous programming is available through several formally defined languages having very different characteristics: ESTEREL is imperative, while LUSTRE and SIGNAL are declarative in style; STATECHARTS and ARGOS are graphical languages that allow one to program by constructing hierarchical automata. Our motivation for taking the synchronous design paradigm further, integrating imper...
متن کاملThe Synchronous Approach to Designing Reactive Systems
Synchronousprogramming is available through several formally defined languages having very different characteristics: ESTEREL is imperative, while LUSTRE and SIGNAL are declarative in style; STATECHARTS and ARGOS are graphical languages that allow one to program by constructing hierarchical automata. Our motivation for taking the synchronous design paradigm further, integrating imperative, decl...
متن کاملDesign Approach for Real-Time Reactive Systems
We propose a design approach for real-time reactive systems. The core of the approach is to use abstract real-time requirements or constraints arising from different views of a system. These requirements are specified separately in the early phases of the development. When conjoining such views, it is a design decision to partition realtime requirements given in the views into those needed for ...
متن کاملGraduate Course: Reactive and Real-Time Systems
This article describes a graduate course on the subject of \Reactive and Real-Time Systems", which serves as the basis for courses taught by the authors at Bar-Ilan University and at Tel-Aviv University, and undergraduate course at the Netania Academic College and The Academic College of Tel-Aviv-Yaao. The course focuses on the development of provably correct reactive or real-time systems. It i...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Proceedings of the IEEE
سال: 1991
ISSN: 0018-9219
DOI: 10.1109/5.97297